second-order logic - Alemán Inglés Diccionario